Towards Test Driven Development for Computational Science with pFUnit

Developers working in Computational Science & Engineering (CSE)/High Performance Computing (HPC) must contend with constant change due to advances in computing technology and science. Test Driven Development (TDD) is a methodology that mitigates software development risks due to change at the cost of adding comprehensive and continuous testing to the development process. Testing frameworks tailored for CSE/HPC, like pFUnit, can lower the barriers to such testing, yet CSE software faces unique constraints foreign to the broader software engineering community. Effective testing of numerical software requires a comprehensive suite of oracles, i.e., use cases with known answers, as well as robust estimates for the unavoidable numerical errors associated with implementation with finite-precision arithmetic. At first glance these concerns often seem exceedingly challenging or even insurmountable for real-world scientific applications. However, we argue that this common perception is incorrect and driven by (1) a conflation between model validation and software verification and (2) the general tendency in the scientific community to develop relatively coarse-grained, large procedures that compound numerous algorithmic steps.We believe TDD can be applied routinely to numerical software if developers pursue fine-grained implementations that permit testing, neatly side-stepping concerns about needing nontrivial oracles as well as the accumulation of errors. We present an example of a successful, complex legacy CSE/HPC code whose development process shares some aspects with TDD, which we contrast with current and potential capabilities. A mix of our proposed methodology and framework support should enable everyday use of TDD by CSE-expert developers

Nanosat Intelligent Power System Development

NASA Goddard Space Flight Center is developing a class of satellites called nano-satellites. The technologies developed for these satellites will enable a class of constellation missions for the NASA Space Science Sun-Earth Connections theme and will be of great benefit to other NASA enterprises. A major challenge for these missions is meeting significant scientific- objectives with limited onboard and ground-based resources. Total spacecraft power is limited by the small satellite size. Additionally, it is highly desirable to minimize operational costs by limiting the ground support required to manage the constellation. This paper will describe how these challenges are met in the design of the nanosat power system. We will address the factors considered and tradeoffs made in deriving the nanosat power system architecture. We will discuss how incorporating onboard fault detection and correction capability yields a robust spacecraft power bus without the mass and volume penalties incurred from redundant systems and describe how power system efficiency is maximized throughout the mission duration

Using Model-Based Reasoning for Autonomous Instrument Operation - Lessons Learned From IMAGE/LENA

Model-based reasoning has been applied as an autonomous control strategy on the Low Energy Neutral Atom (LENA) instrument currently flying on board the Imager for Magnetosphere-to-Aurora Global Exploration (IMAGE) spacecraft. Explicit models of instrument subsystem responses have been constructed and are used to dynamically adapt the instrument to the spacecraft's environment. These functions are cast as part of a Virtual Principal Investigator (VPI) that autonomously monitors and controls the instrument. In the VPI's current implementation, LENA's command uplink volume has been decreased significantly from its previous volume; typically, no uplinks are required for operations. This work demonstrates that a model-based approach can be used to enhance science instrument effectiveness. The components of LENA are common in space science instrumentation, and lessons learned by modeling this system may be applied to other instruments. Future work involves the extension of these methods to cover more aspects of LENA operation and the generalization to other space science instrumentation

GAB2 alleles modify Alzheimer's risk in APOE epsilon4 carriers

The apolipoprotein E (APOE) epsilon4 allele is the best established genetic risk factor for late-onset Alzheimer's disease (LOAD). We conducted genome-wide surveys of 502,627 single-nucleotide polymorphisms (SNPs) to characterize and confirm other LOAD susceptibility genes. In epsilon4 carriers from neuropathologically verified discovery, neuropathologically verified replication, and clinically characterized replication cohorts of 1411 cases and controls, LOAD was associated with six SNPs from the GRB-associated binding protein 2 (GAB2) gene and a common haplotype encompassing the entire GAB2 gene. SNP rs2373115 (p = 9 x 10(-11)) was associated with an odds ratio of 4.06 (confidence interval 2.81-14.69), which interacts with APOE epsilon4 to further modify risk. GAB2 was overexpressed in pathologically vulnerable neurons; the Gab2 protein was detected in neurons, tangle-bearing neurons, and dystrophic neuritis; and interference with GAB2 gene expression increased tau phosphorylation. Our findings suggest that GAB2 modifies LOAD risk in APOE epsilon4 carriers and influences Alzheimer's neuropathology